<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>Distribution.Types.Condition</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">Cabal-3.4.1.0: A framework for packaging Haskell software</span><ul class="links" id="page-menu"><li><a href="src/Distribution.Types.Condition.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Distribution.Types.Condition</p></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><span class="keyword">data</span> <a href="#t:Condition">Condition</a> c<ul class="subs"><li>= <a href="#v:Var">Var</a> c</li><li>| <a href="#v:Lit">Lit</a> <a href="Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a></li><li>| <a href="#v:CNot">CNot</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</li><li>| <a href="#v:COr">COr</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</li><li>| <a href="#v:CAnd">CAnd</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</li></ul></li><li class="src short"><a href="#v:cNot">cNot</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a</li><li class="src short"><a href="#v:cAnd">cAnd</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a</li><li class="src short"><a href="#v:cOr">cOr</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> v =&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> v -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> v -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> v</li><li class="src short"><a href="#v:simplifyCondition">simplifyCondition</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; (c -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Either" title="Distribution.Compat.Prelude.Internal">Either</a> d <a href="Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a>) -&gt; (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> d, [d])</li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Condition" class="def">Condition</a> c <a href="src/Distribution.Types.Condition.html#Condition" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></p><div class="doc"><p>A boolean expression parameterized over the variable type used.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Var" class="def">Var</a> c</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a id="v:Lit" class="def">Lit</a> <a href="Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a id="v:CNot" class="def">CNot</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a id="v:COr" class="def">COr</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a id="v:CAnd" class="def">CAnd</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</td><td class="doc empty">&nbsp;</td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Condition">Instances</h4><details id="i:Condition" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Foldable:1"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Foldable" title="Distribution.Compat.Prelude.Internal">Foldable</a> <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a></span> <a href="src/Distribution.Types.Condition.html#line-56" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Foldable:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fold">fold</a> :: <a href="Distribution-Compat-Semigroup.html#t:Monoid" title="Distribution.Compat.Semigroup">Monoid</a> m =&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> m -&gt; m <a href="../base/src/Data.Foldable.html#fold" class="link">Source</a> <a href="#v:fold" class="selflink">#</a></p><p class="src"><a href="#v:foldMap">foldMap</a> :: <a href="Distribution-Compat-Semigroup.html#t:Monoid" title="Distribution.Compat.Semigroup">Monoid</a> m =&gt; (a -&gt; m) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; m <a href="../base/src/Data.Foldable.html#foldMap" class="link">Source</a> <a href="#v:foldMap" class="selflink">#</a></p><p class="src"><a href="#v:foldMap-39-">foldMap'</a> :: <a href="Distribution-Compat-Semigroup.html#t:Monoid" title="Distribution.Compat.Semigroup">Monoid</a> m =&gt; (a -&gt; m) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; m <a href="../base/src/Data.Foldable.html#foldMap%27" class="link">Source</a> <a href="#v:foldMap-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr">foldr</a> :: (a -&gt; b -&gt; b) -&gt; b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; b <a href="../base/src/Data.Foldable.html#foldr" class="link">Source</a> <a href="#v:foldr" class="selflink">#</a></p><p class="src"><a href="#v:foldr-39-">foldr'</a> :: (a -&gt; b -&gt; b) -&gt; b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; b <a href="../base/src/Data.Foldable.html#foldr%27" class="link">Source</a> <a href="#v:foldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldl">foldl</a> :: (b -&gt; a -&gt; b) -&gt; b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; b <a href="../base/src/Data.Foldable.html#foldl" class="link">Source</a> <a href="#v:foldl" class="selflink">#</a></p><p class="src"><a href="#v:foldl-39-">foldl'</a> :: (b -&gt; a -&gt; b) -&gt; b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; b <a href="../base/src/Data.Foldable.html#foldl%27" class="link">Source</a> <a href="#v:foldl-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr1">foldr1</a> :: (a -&gt; a -&gt; a) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; a <a href="../base/src/Data.Foldable.html#foldr1" class="link">Source</a> <a href="#v:foldr1" class="selflink">#</a></p><p class="src"><a href="#v:foldl1">foldl1</a> :: (a -&gt; a -&gt; a) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; a <a href="../base/src/Data.Foldable.html#foldl1" class="link">Source</a> <a href="#v:foldl1" class="selflink">#</a></p><p class="src"><a href="#v:toList">toList</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; [a] <a href="../base/src/Data.Foldable.html#toList" class="link">Source</a> <a href="#v:toList" class="selflink">#</a></p><p class="src"><a href="#v:null">null</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="../base/src/Data.Foldable.html#null" class="link">Source</a> <a href="#v:null" class="selflink">#</a></p><p class="src"><a href="#v:length">length</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a> <a href="../base/src/Data.Foldable.html#length" class="link">Source</a> <a href="#v:length" class="selflink">#</a></p><p class="src"><a href="#v:elem">elem</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> a =&gt; a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="../base/src/Data.Foldable.html#elem" class="link">Source</a> <a href="#v:elem" class="selflink">#</a></p><p class="src"><a href="#v:maximum">maximum</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Ord" title="Distribution.Compat.Prelude.Internal">Ord</a> a =&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; a <a href="../base/src/Data.Foldable.html#maximum" class="link">Source</a> <a href="#v:maximum" class="selflink">#</a></p><p class="src"><a href="#v:minimum">minimum</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Ord" title="Distribution.Compat.Prelude.Internal">Ord</a> a =&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; a <a href="../base/src/Data.Foldable.html#minimum" class="link">Source</a> <a href="#v:minimum" class="selflink">#</a></p><p class="src"><a href="#v:sum">sum</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Num" title="Distribution.Compat.Prelude.Internal">Num</a> a =&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; a <a href="../base/src/Data.Foldable.html#sum" class="link">Source</a> <a href="#v:sum" class="selflink">#</a></p><p class="src"><a href="#v:product">product</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Num" title="Distribution.Compat.Prelude.Internal">Num</a> a =&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; a <a href="../base/src/Data.Foldable.html#product" class="link">Source</a> <a href="#v:product" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Traversable:2"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Traversable" title="Distribution.Compat.Prelude.Internal">Traversable</a> <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a></span> <a href="src/Distribution.Types.Condition.html#line-63" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Traversable:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse">traverse</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Applicative" title="Distribution.Compat.Prelude.Internal">Applicative</a> f =&gt; (a -&gt; f b) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; f (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b) <a href="../base/src/Data.Traversable.html#traverse" class="link">Source</a> <a href="#v:traverse" class="selflink">#</a></p><p class="src"><a href="#v:sequenceA">sequenceA</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Applicative" title="Distribution.Compat.Prelude.Internal">Applicative</a> f =&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> (f a) -&gt; f (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a) <a href="../base/src/Data.Traversable.html#sequenceA" class="link">Source</a> <a href="#v:sequenceA" class="selflink">#</a></p><p class="src"><a href="#v:mapM">mapM</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Monad" title="Distribution.Compat.Prelude.Internal">Monad</a> m =&gt; (a -&gt; m b) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; m (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b) <a href="../base/src/Data.Traversable.html#mapM" class="link">Source</a> <a href="#v:mapM" class="selflink">#</a></p><p class="src"><a href="#v:sequence">sequence</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Monad" title="Distribution.Compat.Prelude.Internal">Monad</a> m =&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> (m a) -&gt; m (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a) <a href="../base/src/Data.Traversable.html#sequence" class="link">Source</a> <a href="#v:sequence" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Alternative:3"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Alternative" title="Distribution.Compat.Prelude.Internal">Alternative</a> <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a></span> <a href="src/Distribution.Types.Condition.html#line-91" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Alternative:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:empty">empty</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#empty" class="link">Source</a> <a href="#v:empty" class="selflink">#</a></p><p class="src"><a href="#v:-60--124--62-">(&lt;|&gt;)</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#%3C%7C%3E" class="link">Source</a> <a href="#v:-60--124--62-" class="selflink">#</a></p><p class="src"><a href="#v:some">some</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> [a] <a href="../base/src/GHC.Base.html#some" class="link">Source</a> <a href="#v:some" class="selflink">#</a></p><p class="src"><a href="#v:many">many</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> [a] <a href="../base/src/GHC.Base.html#many" class="link">Source</a> <a href="#v:many" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Applicative:4"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Applicative" title="Distribution.Compat.Prelude.Internal">Applicative</a> <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a></span> <a href="src/Distribution.Types.Condition.html#line-70" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Applicative:4"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#pure" class="link">Source</a> <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(&lt;*&gt;)</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> (a -&gt; b) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b <a href="../base/src/GHC.Base.html#%3C%2A%3E" class="link">Source</a> <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:liftA2">liftA2</a> :: (a -&gt; b -&gt; c) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c <a href="../base/src/GHC.Base.html#liftA2" class="link">Source</a> <a href="#v:liftA2" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*&gt;)</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b <a href="../base/src/GHC.Base.html#%2A%3E" class="link">Source</a> <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(&lt;*)</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#%3C%2A" class="link">Source</a> <a href="#v:-60--42-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Functor:5"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Functor" title="Distribution.Compat.Prelude.Internal">Functor</a> <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a></span> <a href="src/Distribution.Types.Condition.html#line-49" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Functor:5"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -&gt; b) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b <a href="../base/src/GHC.Base.html#fmap" class="link">Source</a> <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(&lt;$)</a> :: a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#%3C%24" class="link">Source</a> <a href="#v:-60--36-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Monad:6"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Monad" title="Distribution.Compat.Prelude.Internal">Monad</a> <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a></span> <a href="src/Distribution.Types.Condition.html#line-74" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Monad:6"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--61-">(&gt;&gt;=)</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; (a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b <a href="../base/src/GHC.Base.html#%3E%3E%3D" class="link">Source</a> <a href="#v:-62--62--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62--62-">(&gt;&gt;)</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> b <a href="../base/src/GHC.Base.html#%3E%3E" class="link">Source</a> <a href="#v:-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:return">return</a> :: a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#return" class="link">Source</a> <a href="#v:return" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:MonadPlus:7"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:MonadPlus" title="Distribution.Compat.Prelude.Internal">MonadPlus</a> <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a></span> <a href="src/Distribution.Types.Condition.html#line-95" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:MonadPlus:7"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mzero">mzero</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#mzero" class="link">Source</a> <a href="#v:mzero" class="selflink">#</a></p><p class="src"><a href="#v:mplus">mplus</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#mplus" class="link">Source</a> <a href="#v:mplus" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Structured:8"></span> <a href="Distribution-Utils-Structured.html#t:Structured" title="Distribution.Utils.Structured">Structured</a> c =&gt; <a href="Distribution-Utils-Structured.html#t:Structured" title="Distribution.Utils.Structured">Structured</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</span> <a href="src/Distribution.Types.Condition.html#line-100" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Structured:8"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:structure">structure</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Proxy" title="Distribution.Compat.Prelude.Internal">Proxy</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) -&gt; <a href="Distribution-Utils-Structured.html#t:Structure" title="Distribution.Utils.Structured">Structure</a> <a href="src/Distribution.Utils.Structured.html#structure" class="link">Source</a> <a href="#v:structure" class="selflink">#</a></p><p class="src"><a href="#v:structureHash-39-">structureHash'</a> :: Tagged (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) <a href="Distribution-Utils-MD5.html#t:MD5" title="Distribution.Utils.MD5">MD5</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Data:9"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> c =&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</span> <a href="src/Distribution.Types.Condition.html#line-21" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Data:9"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:gfoldl">gfoldl</a> :: (<span class="keyword">forall</span> d b. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d =&gt; c0 (d -&gt; b) -&gt; d -&gt; c0 b) -&gt; (<span class="keyword">forall</span> g. g -&gt; c0 g) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; c0 (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) <a href="../base/src/Data.Data.html#gfoldl" class="link">Source</a> <a href="#v:gfoldl" class="selflink">#</a></p><p class="src"><a href="#v:gunfold">gunfold</a> :: (<span class="keyword">forall</span> b r. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> b =&gt; c0 (b -&gt; r) -&gt; c0 r) -&gt; (<span class="keyword">forall</span> r. r -&gt; c0 r) -&gt; <a href="../base/Data-Data.html#t:Constr" title="Data.Data">Constr</a> -&gt; c0 (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) <a href="../base/src/Data.Data.html#gunfold" class="link">Source</a> <a href="#v:gunfold" class="selflink">#</a></p><p class="src"><a href="#v:toConstr">toConstr</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="../base/Data-Data.html#t:Constr" title="Data.Data">Constr</a> <a href="../base/src/Data.Data.html#toConstr" class="link">Source</a> <a href="#v:toConstr" class="selflink">#</a></p><p class="src"><a href="#v:dataTypeOf">dataTypeOf</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="../base/Data-Data.html#t:DataType" title="Data.Data">DataType</a> <a href="../base/src/Data.Data.html#dataTypeOf" class="link">Source</a> <a href="#v:dataTypeOf" class="selflink">#</a></p><p class="src"><a href="#v:dataCast1">dataCast1</a> :: <a href="Distribution-Compat-Typeable.html#t:Typeable" title="Distribution.Compat.Typeable">Typeable</a> t =&gt; (<span class="keyword">forall</span> d. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d =&gt; c0 (t d)) -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> (c0 (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)) <a href="../base/src/Data.Data.html#dataCast1" class="link">Source</a> <a href="#v:dataCast1" class="selflink">#</a></p><p class="src"><a href="#v:dataCast2">dataCast2</a> :: <a href="Distribution-Compat-Typeable.html#t:Typeable" title="Distribution.Compat.Typeable">Typeable</a> t =&gt; (<span class="keyword">forall</span> d e. (<a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d, <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> e) =&gt; c0 (t d e)) -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> (c0 (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)) <a href="../base/src/Data.Data.html#dataCast2" class="link">Source</a> <a href="#v:dataCast2" class="selflink">#</a></p><p class="src"><a href="#v:gmapT">gmapT</a> :: (<span class="keyword">forall</span> b. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> b =&gt; b -&gt; b) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c <a href="../base/src/Data.Data.html#gmapT" class="link">Source</a> <a href="#v:gmapT" class="selflink">#</a></p><p class="src"><a href="#v:gmapQl">gmapQl</a> :: (r -&gt; r' -&gt; r) -&gt; r -&gt; (<span class="keyword">forall</span> d. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d =&gt; d -&gt; r') -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; r <a href="../base/src/Data.Data.html#gmapQl" class="link">Source</a> <a href="#v:gmapQl" class="selflink">#</a></p><p class="src"><a href="#v:gmapQr">gmapQr</a> :: <span class="keyword">forall</span> r r'. (r' -&gt; r -&gt; r) -&gt; r -&gt; (<span class="keyword">forall</span> d. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d =&gt; d -&gt; r') -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; r <a href="../base/src/Data.Data.html#gmapQr" class="link">Source</a> <a href="#v:gmapQr" class="selflink">#</a></p><p class="src"><a href="#v:gmapQ">gmapQ</a> :: (<span class="keyword">forall</span> d. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d =&gt; d -&gt; u) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; [u] <a href="../base/src/Data.Data.html#gmapQ" class="link">Source</a> <a href="#v:gmapQ" class="selflink">#</a></p><p class="src"><a href="#v:gmapQi">gmapQi</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a> -&gt; (<span class="keyword">forall</span> d. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d =&gt; d -&gt; u) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; u <a href="../base/src/Data.Data.html#gmapQi" class="link">Source</a> <a href="#v:gmapQi" class="selflink">#</a></p><p class="src"><a href="#v:gmapM">gmapM</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Monad" title="Distribution.Compat.Prelude.Internal">Monad</a> m =&gt; (<span class="keyword">forall</span> d. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d =&gt; d -&gt; m d) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; m (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) <a href="../base/src/Data.Data.html#gmapM" class="link">Source</a> <a href="#v:gmapM" class="selflink">#</a></p><p class="src"><a href="#v:gmapMp">gmapMp</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:MonadPlus" title="Distribution.Compat.Prelude.Internal">MonadPlus</a> m =&gt; (<span class="keyword">forall</span> d. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d =&gt; d -&gt; m d) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; m (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) <a href="../base/src/Data.Data.html#gmapMp" class="link">Source</a> <a href="#v:gmapMp" class="selflink">#</a></p><p class="src"><a href="#v:gmapMo">gmapMo</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:MonadPlus" title="Distribution.Compat.Prelude.Internal">MonadPlus</a> m =&gt; (<span class="keyword">forall</span> d. <a href="Distribution-Compat-Prelude-Internal.html#t:Data" title="Distribution.Compat.Prelude.Internal">Data</a> d =&gt; d -&gt; m d) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; m (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) <a href="../base/src/Data.Data.html#gmapMo" class="link">Source</a> <a href="#v:gmapMo" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Monoid:10"></span> <a href="Distribution-Compat-Semigroup.html#t:Monoid" title="Distribution.Compat.Semigroup">Monoid</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a)</span> <a href="src/Distribution.Types.Condition.html#line-84" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Monoid:10"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#mempty" class="link">Source</a> <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#mappend" class="link">Source</a> <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a] -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#mconcat" class="link">Source</a> <a href="#v:mconcat" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Semigroup:11"></span> <a href="Distribution-Compat-Semigroup.html#t:Semigroup" title="Distribution.Compat.Semigroup">Semigroup</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a)</span> <a href="src/Distribution.Types.Condition.html#line-88" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Semigroup:11"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(&lt;&gt;)</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#%3C%3E" class="link">Source</a> <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:NonEmpty" title="Distribution.Compat.Prelude.Internal">NonEmpty</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a) -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#sconcat" class="link">Source</a> <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Integral" title="Distribution.Compat.Prelude.Internal">Integral</a> b =&gt; b -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="../base/src/GHC.Base.html#stimes" class="link">Source</a> <a href="#v:stimes" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Generic:12"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Generic" title="Distribution.Compat.Prelude.Internal">Generic</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</span> <a href="src/Distribution.Types.Condition.html#line-21" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Generic:12"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="../base/GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) :: <a href="../base/Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="../base/Data-Kind.html#t:Type" title="Data.Kind">Type</a> <a href="../base/src/GHC.Generics.html#Rep" class="link">Source</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from">from</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="../base/GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) x <a href="../base/src/GHC.Generics.html#from" class="link">Source</a> <a href="#v:from" class="selflink">#</a></p><p class="src"><a href="#v:to">to</a> :: <a href="../base/GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) x -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c <a href="../base/src/GHC.Generics.html#to" class="link">Source</a> <a href="#v:to" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Show:13"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Show" title="Distribution.Compat.Prelude.Internal">Show</a> c =&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Show" title="Distribution.Compat.Prelude.Internal">Show</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</span> <a href="src/Distribution.Types.Condition.html#line-21" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Show:13"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a> -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="../base/src/GHC.Show.html#showsPrec" class="link">Source</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="../base/src/GHC.Show.html#show" class="link">Source</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c] -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="../base/src/GHC.Show.html#showList" class="link">Source</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Binary:14"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Binary" title="Distribution.Compat.Prelude.Internal">Binary</a> c =&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Binary" title="Distribution.Compat.Prelude.Internal">Binary</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</span> <a href="src/Distribution.Types.Condition.html#line-99" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Binary:14"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:put">put</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="../binary/Data-Binary-Put.html#t:Put" title="Data.Binary.Put">Put</a> <a href="../binary/src/Data.Binary.Class.html#put" class="link">Source</a> <a href="#v:put" class="selflink">#</a></p><p class="src"><a href="#v:get">get</a> :: <a href="../binary/Data-Binary-Get-Internal.html#t:Get" title="Data.Binary.Get.Internal">Get</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) <a href="../binary/src/Data.Binary.Class.html#get" class="link">Source</a> <a href="#v:get" class="selflink">#</a></p><p class="src"><a href="#v:putList">putList</a> :: [<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c] -&gt; <a href="../binary/Data-Binary-Put.html#t:Put" title="Data.Binary.Put">Put</a> <a href="../binary/src/Data.Binary.Class.html#putList" class="link">Source</a> <a href="#v:putList" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:NFData:15"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:NFData" title="Distribution.Compat.Prelude.Internal">NFData</a> c =&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:NFData" title="Distribution.Compat.Prelude.Internal">NFData</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</span> <a href="src/Distribution.Types.Condition.html#line-101" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:NFData:15"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:rnf">rnf</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; () <a href="../deepseq/src/Control.DeepSeq.html#rnf" class="link">Source</a> <a href="#v:rnf" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Eq:16"></span> <a href="Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> c =&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</span> <a href="src/Distribution.Types.Condition.html#line-21" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Eq:16"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Condition:Rep:17"></span> <span class="keyword">type</span> <a href="../base/GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)</span> <a href="src/Distribution.Types.Condition.html#line-21" class="link">Source</a> <a href="#t:Condition" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Condition:Rep:17"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Distribution-Types-Condition.html">Distribution.Types.Condition</a></p> <div class="src"><span class="keyword">type</span> <a href="../base/GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c) = <a href="../base/GHC-Generics.html#t:D1" title="GHC.Generics">D1</a> ('<a href="../base/GHC-Generics.html#v:MetaData" title="GHC.Generics">MetaData</a> &quot;Condition&quot; &quot;Distribution.Types.Condition&quot; &quot;Cabal-3.4.1.0&quot; '<a href="Distribution-Compat-Prelude-Internal.html#v:False" title="Distribution.Compat.Prelude.Internal">False</a>) ((<a href="../base/GHC-Generics.html#t:C1" title="GHC.Generics">C1</a> ('<a href="../base/GHC-Generics.html#v:MetaCons" title="GHC.Generics">MetaCons</a> &quot;Var&quot; '<a href="../base/GHC-Generics.html#v:PrefixI" title="GHC.Generics">PrefixI</a> '<a href="Distribution-Compat-Prelude-Internal.html#v:False" title="Distribution.Compat.Prelude.Internal">False</a>) (<a href="../base/GHC-Generics.html#t:S1" title="GHC.Generics">S1</a> ('<a href="../base/GHC-Generics.html#v:MetaSel" title="GHC.Generics">MetaSel</a> ('<a href="Distribution-Compat-Prelude-Internal.html#v:Nothing" title="Distribution.Compat.Prelude.Internal">Nothing</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> <a href="../base/GHC-TypeLits.html#t:Symbol" title="GHC.TypeLits">Symbol</a>) '<a href="../base/GHC-Generics.html#v:NoSourceUnpackedness" title="GHC.Generics">NoSourceUnpackedness</a> '<a href="../base/GHC-Generics.html#v:NoSourceStrictness" title="GHC.Generics">NoSourceStrictness</a> '<a href="../base/GHC-Generics.html#v:DecidedLazy" title="GHC.Generics">DecidedLazy</a>) (<a href="../base/GHC-Generics.html#t:Rec0" title="GHC.Generics">Rec0</a> c)) <a href="../base/GHC-Generics.html#t::-43-:" title="GHC.Generics">:+:</a> <a href="../base/GHC-Generics.html#t:C1" title="GHC.Generics">C1</a> ('<a href="../base/GHC-Generics.html#v:MetaCons" title="GHC.Generics">MetaCons</a> &quot;Lit&quot; '<a href="../base/GHC-Generics.html#v:PrefixI" title="GHC.Generics">PrefixI</a> '<a href="Distribution-Compat-Prelude-Internal.html#v:False" title="Distribution.Compat.Prelude.Internal">False</a>) (<a href="../base/GHC-Generics.html#t:S1" title="GHC.Generics">S1</a> ('<a href="../base/GHC-Generics.html#v:MetaSel" title="GHC.Generics">MetaSel</a> ('<a href="Distribution-Compat-Prelude-Internal.html#v:Nothing" title="Distribution.Compat.Prelude.Internal">Nothing</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> <a href="../base/GHC-TypeLits.html#t:Symbol" title="GHC.TypeLits">Symbol</a>) '<a href="../base/GHC-Generics.html#v:NoSourceUnpackedness" title="GHC.Generics">NoSourceUnpackedness</a> '<a href="../base/GHC-Generics.html#v:NoSourceStrictness" title="GHC.Generics">NoSourceStrictness</a> '<a href="../base/GHC-Generics.html#v:DecidedLazy" title="GHC.Generics">DecidedLazy</a>) (<a href="../base/GHC-Generics.html#t:Rec0" title="GHC.Generics">Rec0</a> <a href="Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a>))) <a href="../base/GHC-Generics.html#t::-43-:" title="GHC.Generics">:+:</a> (<a href="../base/GHC-Generics.html#t:C1" title="GHC.Generics">C1</a> ('<a href="../base/GHC-Generics.html#v:MetaCons" title="GHC.Generics">MetaCons</a> &quot;CNot&quot; '<a href="../base/GHC-Generics.html#v:PrefixI" title="GHC.Generics">PrefixI</a> '<a href="Distribution-Compat-Prelude-Internal.html#v:False" title="Distribution.Compat.Prelude.Internal">False</a>) (<a href="../base/GHC-Generics.html#t:S1" title="GHC.Generics">S1</a> ('<a href="../base/GHC-Generics.html#v:MetaSel" title="GHC.Generics">MetaSel</a> ('<a href="Distribution-Compat-Prelude-Internal.html#v:Nothing" title="Distribution.Compat.Prelude.Internal">Nothing</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> <a href="../base/GHC-TypeLits.html#t:Symbol" title="GHC.TypeLits">Symbol</a>) '<a href="../base/GHC-Generics.html#v:NoSourceUnpackedness" title="GHC.Generics">NoSourceUnpackedness</a> '<a href="../base/GHC-Generics.html#v:NoSourceStrictness" title="GHC.Generics">NoSourceStrictness</a> '<a href="../base/GHC-Generics.html#v:DecidedLazy" title="GHC.Generics">DecidedLazy</a>) (<a href="../base/GHC-Generics.html#t:Rec0" title="GHC.Generics">Rec0</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c))) <a href="../base/GHC-Generics.html#t::-43-:" title="GHC.Generics">:+:</a> (<a href="../base/GHC-Generics.html#t:C1" title="GHC.Generics">C1</a> ('<a href="../base/GHC-Generics.html#v:MetaCons" title="GHC.Generics">MetaCons</a> &quot;COr&quot; '<a href="../base/GHC-Generics.html#v:PrefixI" title="GHC.Generics">PrefixI</a> '<a href="Distribution-Compat-Prelude-Internal.html#v:False" title="Distribution.Compat.Prelude.Internal">False</a>) (<a href="../base/GHC-Generics.html#t:S1" title="GHC.Generics">S1</a> ('<a href="../base/GHC-Generics.html#v:MetaSel" title="GHC.Generics">MetaSel</a> ('<a href="Distribution-Compat-Prelude-Internal.html#v:Nothing" title="Distribution.Compat.Prelude.Internal">Nothing</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> <a href="../base/GHC-TypeLits.html#t:Symbol" title="GHC.TypeLits">Symbol</a>) '<a href="../base/GHC-Generics.html#v:NoSourceUnpackedness" title="GHC.Generics">NoSourceUnpackedness</a> '<a href="../base/GHC-Generics.html#v:NoSourceStrictness" title="GHC.Generics">NoSourceStrictness</a> '<a href="../base/GHC-Generics.html#v:DecidedLazy" title="GHC.Generics">DecidedLazy</a>) (<a href="../base/GHC-Generics.html#t:Rec0" title="GHC.Generics">Rec0</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)) <a href="../base/GHC-Generics.html#t::-42-:" title="GHC.Generics">:*:</a> <a href="../base/GHC-Generics.html#t:S1" title="GHC.Generics">S1</a> ('<a href="../base/GHC-Generics.html#v:MetaSel" title="GHC.Generics">MetaSel</a> ('<a href="Distribution-Compat-Prelude-Internal.html#v:Nothing" title="Distribution.Compat.Prelude.Internal">Nothing</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> <a href="../base/GHC-TypeLits.html#t:Symbol" title="GHC.TypeLits">Symbol</a>) '<a href="../base/GHC-Generics.html#v:NoSourceUnpackedness" title="GHC.Generics">NoSourceUnpackedness</a> '<a href="../base/GHC-Generics.html#v:NoSourceStrictness" title="GHC.Generics">NoSourceStrictness</a> '<a href="../base/GHC-Generics.html#v:DecidedLazy" title="GHC.Generics">DecidedLazy</a>) (<a href="../base/GHC-Generics.html#t:Rec0" title="GHC.Generics">Rec0</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c))) <a href="../base/GHC-Generics.html#t::-43-:" title="GHC.Generics">:+:</a> <a href="../base/GHC-Generics.html#t:C1" title="GHC.Generics">C1</a> ('<a href="../base/GHC-Generics.html#v:MetaCons" title="GHC.Generics">MetaCons</a> &quot;CAnd&quot; '<a href="../base/GHC-Generics.html#v:PrefixI" title="GHC.Generics">PrefixI</a> '<a href="Distribution-Compat-Prelude-Internal.html#v:False" title="Distribution.Compat.Prelude.Internal">False</a>) (<a href="../base/GHC-Generics.html#t:S1" title="GHC.Generics">S1</a> ('<a href="../base/GHC-Generics.html#v:MetaSel" title="GHC.Generics">MetaSel</a> ('<a href="Distribution-Compat-Prelude-Internal.html#v:Nothing" title="Distribution.Compat.Prelude.Internal">Nothing</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> <a href="../base/GHC-TypeLits.html#t:Symbol" title="GHC.TypeLits">Symbol</a>) '<a href="../base/GHC-Generics.html#v:NoSourceUnpackedness" title="GHC.Generics">NoSourceUnpackedness</a> '<a href="../base/GHC-Generics.html#v:NoSourceStrictness" title="GHC.Generics">NoSourceStrictness</a> '<a href="../base/GHC-Generics.html#v:DecidedLazy" title="GHC.Generics">DecidedLazy</a>) (<a href="../base/GHC-Generics.html#t:Rec0" title="GHC.Generics">Rec0</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c)) <a href="../base/GHC-Generics.html#t::-42-:" title="GHC.Generics">:*:</a> <a href="../base/GHC-Generics.html#t:S1" title="GHC.Generics">S1</a> ('<a href="../base/GHC-Generics.html#v:MetaSel" title="GHC.Generics">MetaSel</a> ('<a href="Distribution-Compat-Prelude-Internal.html#v:Nothing" title="Distribution.Compat.Prelude.Internal">Nothing</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> <a href="../base/GHC-TypeLits.html#t:Symbol" title="GHC.TypeLits">Symbol</a>) '<a href="../base/GHC-Generics.html#v:NoSourceUnpackedness" title="GHC.Generics">NoSourceUnpackedness</a> '<a href="../base/GHC-Generics.html#v:NoSourceStrictness" title="GHC.Generics">NoSourceStrictness</a> '<a href="../base/GHC-Generics.html#v:DecidedLazy" title="GHC.Generics">DecidedLazy</a>) (<a href="../base/GHC-Generics.html#t:Rec0" title="GHC.Generics">Rec0</a> (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c))))))</div></details></td></tr></table></details></div></div><div class="top"><p class="src"><a id="v:cNot" class="def">cNot</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="src/Distribution.Types.Condition.html#cNot" class="link">Source</a> <a href="#v:cNot" class="selflink">#</a></p><div class="doc"><p>Boolean negation of a <code><a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a></code> value.</p></div></div><div class="top"><p class="src"><a id="v:cAnd" class="def">cAnd</a> :: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> a <a href="src/Distribution.Types.Condition.html#cAnd" class="link">Source</a> <a href="#v:cAnd" class="selflink">#</a></p><div class="doc"><p>Boolean AND of two <code>Condtion</code> values.</p></div></div><div class="top"><p class="src"><a id="v:cOr" class="def">cOr</a> :: <a href="Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> v =&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> v -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> v -&gt; <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> v <a href="src/Distribution.Types.Condition.html#cOr" class="link">Source</a> <a href="#v:cOr" class="selflink">#</a></p><div class="doc"><p>Boolean OR of two <code><a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a></code> values.</p></div></div><div class="top"><p class="src"><a id="v:simplifyCondition" class="def">simplifyCondition</a> <a href="src/Distribution.Types.Condition.html#simplifyCondition" class="link">Source</a> <a href="#v:simplifyCondition" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: <a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> c</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">-&gt; (c -&gt; <a href="Distribution-Compat-Prelude-Internal.html#t:Either" title="Distribution.Compat.Prelude.Internal">Either</a> d <a href="Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a>)</td><td class="doc"><p>(partial) variable assignment</p></td></tr><tr><td class="src">-&gt; (<a href="Distribution-Types-Condition.html#t:Condition" title="Distribution.Types.Condition">Condition</a> d, [d])</td><td class="doc empty">&nbsp;</td></tr></table></div><div class="doc"><p>Simplify the condition and return its free variables.</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.25.1</p></div></body></html>